https://filesoo.com/product/5701/gap-sheaves-and-extension-of-coherent-analytic-subsheaves